<?php
 
/**
 * @author Alex Rabe
 * @copyright 2007
 */
 
$version = array(); 
$version[0] = "4.0";  //dkret2
$version[1] = "2.2";  //dkret3
 
echo serialize($version);
 
?>
